Qex: Symbolic SQL Query Explorer
نویسندگان
چکیده
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is translated into a specific background theory for a satisfiability modulo theories (SMT) solver as a set of equational axioms. Symbolic evaluation of a goal formula together with the background theory yields a model from which concrete tables and values are extracted. We use the SMT solver Z3 in the concrete implementation of Qex and provide an evaluation of its performance.
منابع مشابه
Detection and Prevention of SQL Injection Attacks on Web Applications
In this era where Internet has captured the world, level of security that this Internet provides has not grown as fast as the Internet application. Internet has eased the life of human in numerous ways, but defects such as intrusions that are attached with Internet applications keep on the growth of these applications. One such intrusion is the SQL Injection Attacks (SQLIA). In web applications...
متن کاملPESTO : An Integrated Query/Browser for Object Databases
This paper describes the design and implementation of PEST0 (Portable Explorer of Snuctured Objects), a user interface that supports browsing and querying of object databases. PEST0 allows users to navigate the relationships that exist among objects. In addition, users can formulate complex object queries through an integrated query paradigm (“query-in-place”) that presents querying as a natura...
متن کاملHealth Ontology Generator: Design And Implementation
This paper presents the design and implementation of a Health Ontology Generator (HOG) using a health database such as Microsoft Access or SQL Server. The development of the ontology generator involves building methods for creating and reading the ontology. This research performs both these tasks. In generating the ontology, database tables are treated as classes, fields as functional propertie...
متن کاملSpace Traders Group Project Report
The specification for this project called for a “multi-user space trading game to be played on the web”, which uses a database for storage of game data. The game must be implemented in a language that supports CGI (such as Perl or PHP), Java or ASP on the server side, such that no unusual requirements are placed on the web server. The game must operate in one of Mozilla, Firefox or Internet Exp...
متن کاملHyperSQL: Web-based Query Interfaces for Biological Databases
HyperSQL is an interoperability layer that enables database administrators to rapidly construct browserbased query interfaces to remote Sybase databases. Current browsers (i.e., Netscape, Mosaic, Internet Explorer) do not easily interoperate with databases without extensive "CGI" (Common Gateway Interface) programming. HyperSQL can be used to create formsand hypertext-based database interfaces ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010